1. $i$ : $\mathbb{Z}$
\\[0ex]2. $A$ : \{$i$ + 1$\ldots\,$\}$\rightarrow\mathbb{P}$
\\[0ex]3. $\forall$$j$:\{$i$ + 1$\ldots\,$\}. $A$($j$)
\\[0ex]4. $j$ : $\mathbb{Z}$
\\[0ex]5. $i$ $<$ $j$
\\[0ex]$\vdash$  $A$($j$)